Une proposition de composants formels

The concept of component, even if an old one, has not yet given all its expressive power as far as building complex systems is concerned. New proposals for components have appeared at design or code level. Although they are demonstrative, we think they are still not sufficient enough. It is fundamental for us that the concept of sofware component appears as soon as possible in the life cycle, in particular at the formal specification level. In this article we present our formal component concept on a case study modelled with KORRIGAN. Our components are based upon textual and graphical views, using symbolic transition systems, algebraic specifications and a temporal glue. We illustrate some of their features, amongst them composition, reuse and communication between components. MOTS-CLÉS : composants formels, composition, réutilisation, patrons de communication, vues.